Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
481	2 ( Add to Reading List Source URL: www.mathnet.or.kr Language: English - Date: 2001-07-05 09:46:08 Combinatory logic Lambda calculus Logic in computer science
482	OPTIMAL SELECTION Add to Reading List Source URL: www.math.upenn.edu Language: English - Date: 2010-11-27 22:04:38 Integer sequences Factorial Number theory Summation Secretary problem Binomial coefficient Combinatory logic Mathematics Mathematical analysis Combinatorics
483	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
484	Introduction to Lambda Calculus Henk Barendregt Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:50 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
485	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory
486	Floating Quantifiers and Split NPs in German Syntax/Semantics Interface Hiroyuki IZUO Add to Reading List Source URL: doors.doshisha.ac.jp Language: English Mathematical logic Semantics Lambda calculus Predicate logic Combinatory logic Categorial grammar Proposition Universal quantification Logic Linguistics Quantification
487	HALO: Haskell to Logic through Denotational Semantics As submitted to POPL’13, July 11, 2012 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-10-17 04:47:45 Logic in computer science Models of computation Model theory Formal methods Denotational semantics Combinatory logic Interpretation First-order logic Lambda calculus Logic Mathematical logic Theoretical computer science
488	The Realizability Approach to Computable Analysis and Topology Andrej Bauer Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:18:33 Mathematical constructivism Logic in computer science Algebraic structures Realizability Categorical logic Function Intuitionistic logic Combinatory logic First-order logic Mathematical logic Mathematics Logic
489	C K Zachos c 1999 Add to Reading List Source URL: www.hep.anl.gov Language: English - Date: 2013-08-14 15:49:09 Exponentials Commutator Group theory Exponential function Combinatory logic Mathematics Abstract algebra Mathematical analysis
490	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics

UPDATE